Q ↓⊂πx
 xα@(∃`@8∧(68p(∧∃U@⊂≥W@:↓PiT⊂∞P,⊃l⊂,
,,∞l∞,⊂,∞,⊂,∞,
0α⊂P	0	0⊃p⊃pL↓Nεpεpε`εpε\∞p¬↓@	p∞⊂εU ∩,∪l⊂4@L⊂p⊃8λp⊃q`εx`⊃x`⊂0p⊃⊂αz αz εx⊂→Fα⊃(Dεz εhεhεhεhεhεhεhεhεhεhLNR⊂λ ε∩ε0⊃@⊂0∞l∀X
l∞,∂l∪(ll∩ ⊃,∞l∧,∃0π,⊂l∩P,∀`∩l∞l⊂,∪(l⊃p⊂.∂,∀X	,∞,∩p∞l∞lR ∀,R ∞l∩P∞l↓∩x
l↓: λp↓: εppp⊃λεL∀@	0∀⊂¬∀	0¬L↓pα⊂⊂εNU(	0∪Pp↓rλ0⊃Hp⊃L∪P	∪PεL∀⊂	∞∀⊂πN∧LβLβ$∀H	∀PλQH∞QPλλ∞Qx¬εL↓Q0∪↓@εpεpεp↓∞≤@↓∂._↓≤9↓*U0↓G∞(↓Gi(↓Iz0↓K0@↓[β↓cG_↓nw@↓qcXα⊂αλD0α∞≤@α∞≤Pα⊗`hα≤9α≡Jα*U@α8qpαA6_αORXαU*hα]o⊂αf30αlPαqcXβαl(β∧⎇(βλD@β∞≤Pβ⊃λhβ∩>hβ*U@βORXβX↔∧_∧λD@∧⊃λhOR@↓H∨p↓cG⊂αα∃*Xα*U0α1~PαCG⊂αE
_αIz(α←%αcG⊂αx⊗hβ␈␈H∨p_qh≤8p*U01cPW∞_cGcG⊂↓π∞_f0∞≤@8qh≠⊂@∪⊂λ~ `→@X≠h	p⊂∂p⊂λ0⊂
0⊂@↔0⊂~ p≠x	p⊂∂p⊂λ0⊂
0⊂@↔0⊂@_¬`	`α⊂∂p⊂@λ0⊂@ πX@ π`@_β`@_βp_0__0 ≠p →0 @_p ⊂0(_0 ≠p →0 P(@⊂(⊂00≠p(→0(_0(≥0(≤P(∪p ⊂p ⊃p @∀0 ≡0 ≥0(≤P(≠p(→0(_0(@⊂0(⊂0 ∃p ⊗0 ∃P @⊗⊂ ≥⊂ ≥0 _P ≡0 ≥p @≥P ~⊂ @~p →08≠p8_p8→⊂8≤08≡⊂ ≥P ≡0 @≥p ≥⊂ ∃⊂(∪p ∃0 ⊂p ∃p0⊗0(⊃p ∃P0@∀0 @~P @∩08␈}qc@␈}S→08qh␈␈cG⊂␈␈qc@␈␈U*P␈␈G∞_∞≤@↓*U0U*X8qh↓cG⊂∧_8qh